Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
271	Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray Add to Reading List Source URL: www.tug.org Language: English - Date: 2008-10-14 21:00:40 Scheme programming language ISO standards Technical communication BibTeX Functional languages LaTeX Document Style Semantics and Specification Language XSLT TeX Computing Markup languages Application software
272	10 The Essence of ML Type Inference François Pottier and Didier Rémy 10.1 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-07-01 08:54:05 Type theory Functional languages Lambda calculus Procedural programming languages Logic in computer science ML Type system Operational semantics Combinatory logic Software engineering Programming language theory Computing
273	Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray Add to Reading List Source URL: tug.org Language: English - Date: 2008-10-14 21:00:40 Scheme programming language ISO standards Technical communication BibTeX Functional languages LaTeX Document Style Semantics and Specification Language XSLT TeX Computing Markup languages Application software
274	Science of Computer Programming[removed] – 42 www.elsevier.com/locate/scico The semantics and execution of a synchronous block-diagram language Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2003-06-09 11:11:48 Function Monotonic function FO Flip-flop Continuous function Combinatory logic Lambda calculus Mathematics Mathematical analysis Theoretical computer science
275	Denotational Semantics of XML-Lambda Pavel Loupal1 and Karel Richta2 1 Department of Software Engineering, Czech Technical University, Faculty of Information Technology Prague, Czech Republic Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2010-07-05 10:29:45 Models of computation Lambda calculus Formal languages Model theory Programming language semantics Denotational semantics Structure String Symbol Theoretical computer science Mathematics Mathematical logic
276	Code for PHPsample.php web page Notes: To be able to make this work for you: 1. Your web server must be php-enabled. Talk to your web administrator. 2. Your html web page must become a php page. Change the file extension Add to Reading List Source URL: library.caltech.edu Language: English - Date: 2011-02-25 18:56:32 Computer programming Cross-platform software Initialisms PHP Commit PHP syntax and semantics PHP-GTK Software PHP programming language Computing
277	A Specification-Based Test Case Generation Method for UML/OCL Achim D. Brucker1 , Matthias P. Krieger2,3 , Delphine Longuet2,3 , and Burkhart Wolff2,3 1 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:21 Object Constraint Language Programming language semantics Software ECO Symbol Unified Modeling Language
278	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-01-12 07:47:16 Models of computation Model theory Unified Modeling Language Object Constraint Language Programming language semantics Null Denotational semantics ECO Statistical hypothesis testing Theoretical computer science Logic Mathematical logic
279	Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:33 Logic programming Automated theorem proving Programming paradigms Prolog Computer program Unification Occurs check First-order logic Logic Software engineering Computing Computer programming
280	UNIVERSITE PARIS. DIDEROT (Paris 7) SORBONNE PARIS CITE ¯ -calculus λλ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2014-01-16 12:44:23 Models of computation Lambda calculus Formal methods Logic in computer science Programming language Formal language Actor model Semantics Combinatory logic Applied mathematics Theoretical computer science Mathematics

UPDATE